The complexity of admissible rules of {\L}ukasiewicz logic

We investigate the computational complexity of admissibility of inference rules in infinite-valued {\L}ukasiewicz propositional logic (\L). It was shown in [13] that admissibility in {\L} is checkable in PSPACE. We establish that this result is optimal, i.e., admissible rules of {\L} are PSPACE-complete. In contrast, derivable rules of {\L} are known to be coNP-complete.Comment: 14 pages, 2 figures; to appear in Journal of Logic and Computatio

Design of the Novel Wavelength Triplexer Using Multiple Polymer Microring Resonators

We report about new design of wavelength triplexer using multiple polymer optical microring resonators. Triplexer consists of two downstream wavelength channels operating at 1490 ± 10 nm, 1555 ± 10 nm and one upstream wavelength channel operating at 1310 ± 50 nm. The parallel coupled double ring resonator was used for separation of the optical signal band at 1555 nm and filtered out signal bands 1310 nm and 1490 nm. The serially coupled triple optical microring resonator was used for separation of the optical signal band at 1490 nm and filtered out signal bands 1310 nm and 1555 nm. The design was done by using FullWAVETM software by the finite-difference time-domain method. Simulation showed that optical losses for band at 1555 nm were -3 dB and crosstalk between signal bands 1555 nm and 1490 nm was 24 dB. Calculated optical losses for channel 1490 nm were less than -2.5 dB and signal bands at 1555 nm was filtered out with less than 18 dB loss. The bands at 1310 nm were fully filtered out from both downstream wavelength channels operating at bands 1490 nm and 1555 nm

Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility

© 2015, Springer Basel. Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility itself – for restricted cases, to show the problems arising in the course of study

A Robust and Rapid Method of Producing Soluble, Stable, and Functional G-Protein Coupled Receptors

Membrane proteins, particularly G-protein coupled receptors (GPCRs), are notoriously difficult to express. Using commercial E.coli cell-free systems with the detergent Brij-35, we could rapidly produce milligram quantities of 13 unique GPCRs. Immunoaffinity purification yielded receptors at >90% purity. Secondary structure analysis using circular dichroism indicated that the purified receptors were properly folded. Microscale thermophoresis, a novel label-free and surface-free detection technique that uses thermal gradients, showed that these receptors bound their ligands. The secondary structure and ligand-binding results from cell-free produced proteins were comparable to those expressed and purified from HEK293 cells. Our study demonstrates that cell-free protein production using commercially available kits and optimal detergents is a robust technology that can be used to produce sufficient GPCRs for biochemical, structural, and functional analyses. This robust and simple method may further stimulate others to study the structure and function of membrane proteins.United States. Defense Advanced Research Projects Agency (DARPA-HR0011-09-C-0012)Massachusetts Institute of Technology. Undergraduate Research Opportunities Progra

Expression-Dependent Folding of Interphase Chromatin

Multiple studies suggest that chromatin looping might play a crucial role in organizing eukaryotic genomes. To investigate the interplay between the conformation of interphase chromatin and its transcriptional activity, we include information from gene expression profiles into a polymer model for chromatin that incorporates genomic loops. By relating loop formation to transcriptional activity, we are able to generate chromosome conformations whose structural and topological properties are consistent with experimental data. The model particularly allows to reproduce the conformational variations that are known to occur between highly and lowly expressed chromatin regions. As previously observed in experiments, lowly expressed regions of the simulated polymers are much more compact. Due to the changes in loop formation, the distributions of chromatin loops are also expression-dependent and exhibit a steeper decay in highly active regions. As a results of entropic interaction between differently looped parts of the chromosome, we observe topological alterations leading to a preferential positioning of highly transcribed loci closer to the surface of the chromosome territory. Considering the diffusional behavior of the chromatin fibre, the simulations furthermore show that the higher the expression level of specific parts of the chromatin fibre is, the more dynamic they are. The results exhibit that variations of loop formation along the chromatin fibre, and the entropic changes that come along with it, do not only influence the structural parameters on the local scale, but also effect the global chromosome conformation and topology

Expression patterns of protein C inhibitor in mouse development

Proteolysis of extracellular matrix is an important requirement for embryonic development and is instrumental in processes such as morphogenesis, angiogenesis, and cell migration. Efficient remodeling requires controlled spatio-temporal expression of both the proteases and their inhibitors. Protein C inhibitor (PCI) effectively blocks a range of serine proteases, and recently has been suggested to play a role in cell differentiation and angiogenesis. In this study, we mapped the expression pattern of PCI throughout mouse development using in situ hybridization and immunohistochemistry. We detected a wide-spread, yet distinct expression pattern with prominent PCI levels in skin including vibrissae, and in fore- and hindgut. Further sites of PCI expression were choroid plexus of brain ventricles, heart, skeletal muscles, urogenital tract, and cartilages. A strong and stage-dependent PCI expression was observed in the developing lung. In the pseudoglandular stage, PCI expression was present in distal branching tubules whereas proximal tubules did not express PCI. Later in development, in the saccular stage, PCI expression was restricted to distal bronchioli whereas sacculi did not express PCI. PCI expression declined in postnatal stages and was not detected in adult lungs. In general, embryonic PCI expression indicates multifunctional roles of PCI during mouse development. The expression pattern of PCI during lung development suggests its possible involvement in lung morphogenesis and angiogenesis

Membrane-Lipid Therapy in Operation: The HSP Co-Inducer BGP-15 Activates Stress Signal Transduction Pathways by Remodeling Plasma Membrane Rafts

Aging and pathophysiological conditions are linked to membrane changes which modulate membrane-controlled molecular switches, causing dysregulated heat shock protein (HSP) expression. HSP co-inducer hydroxylamines such as BGP-15 provide advanced therapeutic candidates for many diseases since they preferentially affect stressed cells and are unlikely have major side effects. In the present study in vitro molecular dynamic simulation, experiments with lipid monolayers and in vivo ultrasensitive fluorescence microscopy showed that BGP-15 alters the organization of cholesterol-rich membrane domains. Imaging of nanoscopic long-lived platforms using the raft marker glycosylphosphatidylinositol-anchored monomeric green fluorescent protein diffusing in the live Chinese hamster ovary (CHO) cell plasma membrane demonstrated that BGP-15 prevents the transient structural disintegration of rafts induced by fever-type heat stress. Moreover, BGP-15 was able to remodel cholesterol-enriched lipid platforms reminiscent of those observed earlier following non-lethal heat priming or membrane stress, and were shown to be obligate for the generation and transmission of stress signals. BGP-15 activation of HSP expression in B16-F10 mouse melanoma cells involves the Rac1 signaling cascade in accordance with the previous observation that cholesterol affects the targeting of Rac1 to membranes. Finally, in a human embryonic kidney cell line we demonstrate that BGP-15 is able to inhibit the rapid heat shock factor 1 (HSF1) acetylation monitored during the early phase of heat stress, thereby promoting a prolonged duration of HSF1 binding to heat shock elements. Taken together, our results indicate that BGP-15 has the potential to become a new class of pharmaceuticals for use in ‘membrane-lipid therapy’ to combat many various protein-misfolding diseases associated with aging

Polypeptide-grafted macroporous polyHIPE by surface-initiated N-Carboxyanhydride (NCA) polymerization as a platform for bioconjugation

A new class of functional macroporous monoliths from polymerized high internal phase emulsion (polyHIPE) with tunable surface functional groups was developed by direct polypeptide surface grafting. In the first step, amino-functional polyHIPEs were obtained by the addition of 4-vinylbenzyl or 4-vinylbenzylphthalimide to the styrenic emulsion and thermal radical polymerization. The obtained monoliths present the expected open-cell morphology and a high surface area. The incorporated amino group was successfully utilized to initiate the ring-opening polymer- ization of benzyl-L-glutamate N-carboxyanhydride (BLG NCA) and benzyloxycarbonyl-L-lysine (Lys(Z)) NCA, which resulted in a dense homogeneous coating of polypeptides throughout the internal polyHIPE surfaces as confirmed by SEM and FTIR analysis. The amount of polypeptide grafted to the polyHIPE surfaces could be modulated by varying the initial ratio of amino acid NCA to amino-functional polyHIPE. Subsequent removal of the polypeptide protecting groups yielded highly functional polyHIPE-g-poly(glutamic acid) and polyHIPE-g- poly(lysine). Both types of polypeptide-grafted monoliths responded to pH by changes in their hydrohilicity. The possibility to use the high density of function (−COOH or −NH2) for secondary reaction was demonstrated by the successful bioconjugation of enhanced green fluorescent protein (eGFP) and fluorescein isocyanate (FITC) on the polymer 3D-scaffold surface. The amount of eGFP and FITC conjugated to the polypeptide-grafted polyHIPE was significantly higher than to the amino- functional polyHIPE, signifying the advantage of polypeptide grafting to achieve highly functional polyHIPEs

Microscale thermophoresis quantifies biomolecular interactions under previously challenging conditions

Item does not contain fulltextMicroscale thermophoresis (MST) allows for quantitative analysis of protein interactions in free solution and with low sample consumption. The technique is based on thermophoresis, the directed motion of molecules in temperature gradients. Thermophoresis is highly sensitive to all types of binding-induced changes of molecular properties, be it in size, charge, hydration shell or conformation. In an all-optical approach, an infrared laser is used for local heating, and molecule mobility in the temperature gradient is analyzed via fluorescence. In standard MST one binding partner is fluorescently labeled. However, MST can also be performed label-free by exploiting intrinsic protein UV-fluorescence. Despite the high molecular weight ratio, the interaction of small molecules and peptides with proteins is readily accessible by MST. Furthermore, MST assays are highly adaptable to fit to the diverse requirements of different biomolecules, such as membrane proteins to be stabilized in solution. The type of buffer and additives can be chosen freely. Measuring is even possible in complex bioliquids like cell lysate allowing close to in vivo conditions without sample purification. Binding modes that are quantifiable via MST include dimerization, cooperativity and competition. Thus, its flexibility in assay design qualifies MST for analysis of biomolecular interactions in complex experimental settings, which we herein demonstrate by addressing typically challenging types of binding events from various fields of life science